$\forall$${\it es}$:ES, $A$, $B$:Type, $X$:AbsInterface($A$), $Y$:AbsInterface($B$). $X$ $\cap$ $Y$ = 0 $\in$ $\mathbb{P}$